$\parallel$${\it as}$$\parallel$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$rec{-}case(${\it as}$) of [] =$>$ 0 $\mid$ $a$::${\it as'}$ =$>$ .$\parallel$${\it as'}$$\parallel$ + 1  \emph{(recursive)}